interface mixin Service {
  async number doHeavyWork1();
};